package plp.prolog.memory;

import plp.prolog.declaration.Constants;
import plp.prolog.declaration.Termo;
import plp.prolog.declaration.Variavel;

public class Unificacao {

	private Variavel variavel;
	private Termo termo;
	
	public Unificacao(Variavel variavel, Termo termo) {
		this.variavel = variavel;
		this.termo = termo;
	}
	
	public Variavel getVariavel() {
		return variavel;
	}
	
	public void setVariavel(Variavel variavel) {
		this.variavel = variavel;
	}
	
	public Termo getTermo() {
		return termo;
	}
	
	public void setTermo(Termo termo) {
		this.termo = termo;
	}
	
	public String toString() {
		return String.format(Constants.FORMATO_UNIFICACAO, variavel.getValor(), termo.toString());
	}
}
